Issue2248_COMPILED_TYPE.agda:23,1-34
Haskell types can only be given for postulates.
